Real-Time Verification Techniques for Untimed Systems

机译：不定时系统的实时验证技术

代理获取

本网站仅为用户提供外文OA文献查询和代理获取服务，本网站没有原文。下单后我们将采用程序或人工为您竭诚获取高质量的原文，但由于OA文献来源多样且变更频繁，仍可能出现获取不到、文献不完整或与标题不符等情况，如果获取不到我们将提供退款服务。请知悉。

页面导航

著录项
引文网络
相似文献
相关主题

著录项

作者
Xiaoqun Du; C. R. Ramakrishnan; Scott A. Smolka;
展开▼
作者单位

展开▼
年度 2007
总页数
原文格式 PDF
正文语种
中图分类

相似文献

外文文献
中文文献
专利

1. A Survey of Timing Verification Techniques for Multi-Core Real-Time Systems [J] . Maiza Claire, Rihani Hamza, Rivas Juan M., ACM Computing Surveys . 2020,第3期

机译：多核实时系统时序验证技术调查
2. Verification of instrumentation techniques for resource management of real-time systems [J] . Zhenyu Tan, William Leal, Lonnie Welch The Journal of Systems and Software . 2007,第7期

机译：验证用于实时系统资源管理的仪器技术
3. Experimental Verification of a Novel Quad-RLS Technique for Improving Real-time System Identification Performance: A Practical Approach to CMG [J] . Lee Sang-Deok, Jung Seul International Journal of Control, Automation, and Systems . 2019,第6期

机译：一种新型Quad-RLS技术改进实时系统识别性能的实验验证：CMG的实用方法
4. Applicable modelling, verification and analysis techniques for real-time systems [C] . . 1999

机译：实时系统的适用建模，验证和分析技术
5. A model for real-time systems and technique for verifying them using timed process algebra. [D] . Tseng, Yi-Te. 1997

机译：实时系统模型和使用定时过程代数进行验证的技术。
6. Dosimetric validation and clinical implementation of two 3D dose verification systems for quality assurance in volumetric‐modulated arc therapy techniques [O] . Francisco Clemente‐Gutiérrez, Consuelo Pérez‐Vara 2015

机译：剂量学验证和两个3D剂量验证系统的临床实施以在容积调制电弧治疗技术中确保质量
7. Real-Time Verification Techniques for Untimed Systems [O] . Du Xiaoqun, Ramakrishnan C.R., Smolka Scott A. 2000

机译：非定时系统的实时验证技术

Real-Time Verification Techniques for Untimed Systems

著录项

引文网络

相似文献

相关主题

期刊订阅